If a camel flies, no one laughs if it doesn't get very far.
--> Paul White
Page:
http://pauillac.inria.fr/caml/
VERSION - UPDATE: 0.7 (07-05-95)
README:
" Caml Light is a small, portable implementation of the ML language that runs on most Unix machines. It has also been ported to the Macintosh, the PC, and other microcomputers.
Caml Light implements the Caml language, a functional language from the ML family. Caml is quite close to Standard ML, though not strictly conformant. There are some slight differences in syntax and semantics, and major differences in the module system (these changes were required to support separate compilation)."
AUTHORS:
Xavier Leroy
Arnand Vandame
Damien Doligez
Pierre Weis
COPYRIGHT:
(c) Institut National de Recherche en Informatique et en Automatique (INRIA) - Domaine de Voluceau - Rocquencourt - 78153 Le Chesnay Cedex - France. 1989 - 1995
"Standard ML of New Jersey is a compiler and programming environment for the Standard ML programming language. It was developed jointly at AT&T Bell Laboratories and Princeton University."
"This is a port of the "version 4" Edinburgh SML to the Macintosh using Symantec's Think C compiler. This includes the SML Core language (without modules). A "project file" for Think C is provided so that the bytecode interpreter can be modified or recompiled if needed. The global symbol MAC_LSC is defined in the project to enable changes required to create this version of the FAM."
AUTHORS:
Unix:
Laboratory for Foundations of Computer Science
Department of Computer Science - University of Edinburgh
mac port:
David G. Durand
COPYRIGHT:
(c) 1992 Laboratory for Foundations of Computer Science
Department of Computer Science - University of Edinburgh
"This document describes our port/implementation of the Edinburgh Standard ML system on the Macintosh created by Meta Software Corporation as part of its Coloured Petri Net (CPN) project. The result of this project will be a CPN based simulator which will execute sequential program fragments written in an extended version of Standard ML. For more information about this project please contact Kurt Jensen c/o Meta Software Corp."
AUTHORS:
Unix:
Laboratory for Foundations of Computer Science
Department of Computer Science - University of Edinburgh
mac port:
META SOFTWARE CORPORATION
OCTOBER 1988
COPYRIGHT:
(c) Laboratory for Foundations of Computer Science
Department of Computer Science - University of Edinburgh
If Stavrogin believes, he doesn't believe that he believes;
if he doesn't believe, he doesn't believe that he doesn't believe.
--> Fyodor Dostoevski
Page:
http://www.dina.kvl.dk/~sestoft/mosml.html
(Mac) Mosml
The USDA once wanted to make cows produce milk faster, to improve the dairy industry. (...) The foremost mathematician of his time offered to help them with the problem. (...) He handed them a piece of paper with the computations for the new, 300% improved milk cow.
The plans began:
"A Proof of the Attainability of Increased Milk Output from Bovines: Consider a spherical cow......"
--> Chet Murthy
VERSION - UPDATE: 1.31 (10-20-95)
68k+ppc
README:
"Moscow ML provides a light-weight implementation of Core Standard ML, a strict functional language widely used in teaching and research. It is based on the Caml Light system, and is particularly useful when fast compilation and modest storage consumption are more important than fast program execution.
The new version 1.31 of Moscow ML
* provides installable prettyprinters
* fixed various minor bugs and deficiencies
* works for the Macintosh (68k and PPC), thanks to Doug Currie
(...)
* The Macintosh executables (and documentation) are in
